21. Artificial intelligence in computational engineering

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : ENGINEERING MATHEMATICS-DATA PROCESSING , ARTIFICIAL INTELLIGENCE

رده :
TA
331
.
A77

22. Artificial intelligence in mathematics

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Mathematics-- Data processing-- Congresses,، Artificial intelligence-- Congresses

رده :
QA
76
.
95
.
A73
1994

23. Artificial intelligence in mathematics

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : Congresses ، Mathematics - Data processing,Congresses ، Artificial intelligence

رده :
QA
76
.
95
.
A73
1994

24. Building Innovation Pipelines through Computer-Aided Innovation

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Computer simulation.,Computer-aided design.,Engineering mathematics.,Software engineering.

25. Coalgebraic methods in computer science :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.

رده :
QA76
.
9
.
M35

26. Commonsense Reasoning

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Commonsense reasoning-- Automation.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.,استدلال عام -- خودکاری

رده :
E-Book
,

27. Commonsense reasoning /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence-- Mathematics.,Commonsense reasoning-- Automation.,Logic, Symbolic and mathematical-- Data processing.,Artificial Intelligence.,Automation.,Electronic Data Processing.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.

رده :
Q338
.
85
.
M84
2006eb

28. Computational Intelligenc

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Engineering.,Artificial intelligence.,Mathematics.,Engineering mathematics.

رده :
TA
,
329-348
TA
,
640-643

29. Computational Intelligence in Reliability Engineering

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Engineering. ; Artificial intelligence. ; Mathematics. ; Engineering mathematics. ; System safety. ; Engineering. ; Appl.Mathematics/Computational Methods of Engineering. ; Artificial Intelligence (incl. Robotics). ; Quality Control, Reliability, Safety a

30. Computational and statistical methods in intelligent systems /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence-- Mathematics, Congresses.,Computer algorithms, Congresses.,Artificial Intelligence.,Computational Intelligence.,Artificial intelligence-- Mathematics.,Computer algorithms.,COMPUTERS / General

رده :
Q334

31. Computer Systems Interaction-Human

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Engineering. ; Computer science. ; Artificial intelligence. ; Engineering mathematics. ; Engineering. ; Appl.Mathematics/Computational Methods of Engineering. ; User Interfaces and Human Computer Interaction. ; Artificial Intelligence (incl. Robotics). ;

32. Computer Vision Using Deep Learning: Neural Network Architectures with Python and Keras

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : COMPUTERS / Artificial Intelligence / General ; Mathematics ;

33. Constraint reasoning for differential models

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Constraints (Artificial intelligence) ; Differential equations. ; Interval analysis (Mathematics) ; Biophysics ; Mathematical models. ;

34. Constraint reasoning for differential models

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Constraints (Artificial intelligence),Differential equations.,Interval analysis (Mathematics),Biophysics--Mathematical models

35. Constraint reasoning for differential models

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Constraints (Artificial intelligence),Differential equations,Interval analysis (Mathematics),Biophysics- Mathematical models

رده :
Q340
.
C78
2005

36. Constraint reasoning for differential models /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Biophysics-- Mathematical models.,Constraints (Artificial intelligence),Differential equations.,Interval analysis (Mathematics),Biophysics-- Mathematical models.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Constraints (Artificial intelligence),Differential equations.,Interval analysis (Mathematics)

رده :
Q340
.
C78
2005eb

37. Control-Based Reconstruction and Pose-Estimation

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Applied mathematics,Artificial intelligence,Bioinformatics,Computer science,Robotics

38. Control-Based Reconstruction and Pose-Estimation

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Applied mathematics,Artificial intelligence,Bioinformatics,Computer science,Robotics

39. Cool Math for Hot Music

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Artificial intelligence,Music -- Mathematics,Computer science -- Mathematics,ه‍وش‌ م‍ص‍ن‍وع‍ی‌,موسیقی – ریاضیات,علوم کامپیوتر -- ریاضیات

رده :
E-Book
,

40. Cooperative control of distributed multi-agent systems

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)

موضوع : Distributed artificial intelligence,Control theory,Cooperation- Mathematics,Distributed databases,Electronic data processing- Distributed processing

رده :
Q
,
337
,.
C656
,
2007